main(){
  L=0;
  Cnt=0;
  loop:
  L=1;
  old0=new0;
  if(Cnt>3){
    assert(L!=0);
    L=0;
    new_0=new_0+1;
  }
  if(new_0!=old_0)
    goto loop;
  new_0=old_0;
  return 0;
}

